#include  "stdio.h"

int  main(void){
	
int  a,b,sum;

a=3;

b=5;

sum=2*a+b;
printf("s=%d\n",sum);

return 0;
}
